（来源：上观新闻）
有时优化一🏂个特定内核，性⛴🆘能能直接🥪🍘提升2倍或3倍🏴🤝。如果说过去🛥十五年，它主要做🎉的是“用软件在虚🥣💏拟空间构建正确的🇨🇾🎢物理世界〽”；那么未来十年🦹♂️，它要做的就是“📬让AI🏴🎀看懂并🦕🚓操控真实🆙的物理世界”🇳🇨。这家公司正式走向〰公众视💕🚨野之前🥦🥄，绝大多📧👨👧👦数人对😼👨👩👧👧它的了解所知并💢🤒不多👩🏫🖨。组合式推理的🇫🇯基本思想非常优📐雅：为👣🇫🇯了验证复杂🐰👫系统的正🇬🇹确性，😾首先把它拆解🆘❄成一个个独立的🤴🆙小函数😌。边飞边赢😮。MiniM👷🎓ax，🌠它赌「三条腿📵走路」；过去的🇵🇳🇸🇬底子是C端，靠两🇪🇭亿用户堆出了一🥌套流量🙃打法⌨。那简直是我听过的🏒🔠最醍醐灌顶的🥮一次A✈I对话了⛰。
对旁人来说⛵，C919首航🆔🇯🇪或许只是一↔个值得欢👩🏫🧪呼的新闻时🐔刻；但对程老🛏👠来说，那是😄🇲🇳他一辈子念兹在👨👨👦👦🇦🇶兹的事🔼👺业终于走到了🧠🔥这一步，是他在晚🙋🔤年亲眼看见后来者🇭🇰完成了自己从🌒🔫青年时代🇵🇰起就开始🖕追逐的🚣♀️💷梦想，🕴看见中国人自👩🚒己的大飞机终于不🐡🧦只是飞上蓝天🎏，而且开始💍🚴♀️真正走向商业运🚝🇧🇷行🏓👩👦👦。可以说，✈程老把自己的一生😢都奉献给了中⛽国大飞机⛷事业📽🆖。然而，即🎮👨👨👧👦便是最🔢先进的经典😸计算机，在面🧶🍳对众多潜在变量🇬🇮🗡和它们之间可能的✝排列组合时，也难💠以计算出最🤞🇫🇷优解🚨🇬🇧。
